命題33

命題33

 等しい円における角は、角が中心か円周のどちらで立っていてもその角が立っている円周と同じ比を持つ。

 ABCDEFを等しい円とし、角BGCEHFをそれらの中心GHで角とし、角BACEDFを円周角とせよ。

 円周BCは円周EFに対し、角BGCは角EHFに対し、角BACは角EDFに対すると主張する。

 任意個の連続な円周CKKLが円周BCに等しく、任意個の連続な円周FMMNが円周EFに等しく作り、GKGLHMHNを結ぶ。

 そのとき、円周BCCKKLは互いに等しいので、角BGCCGKKGLもまた等しい。

 それゆえに、円周BLBCの何倍でも角BGLもまた角BGCの同倍である。propositionV.27

 同じ理由で、円周NEEFの何倍でも、角NHEもまた角EHFの同倍である。

 もし、円周BLが円周ENに等しければ、そのとき、角BGLもまた角EHNに等しく、円周BLが円周ENより大きければ、角BGLもまた角EHNより大きく、小さければ小さい。propositionV.27

 4つの量、2つの円周BCEFと2つの角BGCEHFがあって、円周BCと角BGCの同倍量、つまり、円周BLと角BGL、そして、円周EFと角EHFの同倍量、つまり、円周ENと角EHNがとられている。

 そして、もし円周BLが円周ENより大きければ、角BGLもまた角EHNより大きく、等しければ等しく、小さければ小さいことは証明されている。

 それゆえに、円周BCEFに対し、角BGCは角EHFに対する。definitionX.5

 しかし、それぞれ2倍なので、角BGCは角EHFに対し、角BACは角EDFに対する。propositionX.15propositionV.20

 それゆえに、円周BCは円周EFに対し、角BGCは角EHFに対し、角BACは角EDFに対する。

 それゆえに、等しい円における角は、角が中心か円周のどちらで立っていてもその角が立っている円周と同じ比を持つ。

証明終了

第6巻命題32へ  第6巻目次へ  第7巻目次へ